Lifted collocation integrators for direct optimal control in ACADO toolkit

نویسندگان

  • Rien Quirynen
  • Sebastien Gros
  • Boris Houska
  • Moritz Diehl
چکیده

This paper presents a class of efficient Newton-type algorithms for solving the nonlinear programs (NLPs) arising from applying a direct collocation approach to continuous time optimal control. The idea is based on an implicit lifting technique including a condensing and expansion step, such that the structure of each subproblem corresponds to that of the multiple shooting method for direct optimal control. We establish the mathematical equivalence between the Newton iteration based on direct collocation and the proposed approach, and we discuss the computational advantages of a lifted collocation integrator. In addition, we investigate different inexact versions of the proposed scheme and study their convergence and computational properties. The presented algorithms are implemented as part of the open-source ACADO code generation software for embedded optimization. Their performance is illustrated on a benchmark case study of the optimal control for a chain of masses. Based on these results, the use of lifted collocation within direct multiple shooting allows for a computational speedup factor of about 10 compared to a standard collocation integrator and a factor in the range of 10− 50 compared to direct collocation using a general-purpose sparse NLP solver. This research was supported by the EU via ERC-HIGHWIND (259 166), FP7-ITN-TEMPO (607 957), H2020-ITN-AWESCO (642 682), by the DFG in context of the Research Unit FOR 2401 and by the Freiburg Institute for Advanced Studies (FRIAS). R. Quirynen holds a PhD fellowship of the Research Foundation – Flanders (FWO). Rien Quirynen Department ESAT-STADIUS, KU Leuven University, 3001 Leuven, Belgium E-mail: [email protected] Sébastien Gros Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden Boris Houska School of Information Science and Technology, ShanghaiTech University, Shanghai, China Moritz Diehl Department IMTEK, University of Freiburg, 79110 Freiburg, Germany 2 Rien Quirynen et al.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ACADO toolkit—An open-source framework for automatic control and dynamic optimization

In this paper the software environment and algorithm collection ACADO Toolkit is presented, which implements tools for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control as well as state and parameter estimation. The ACADO Toolkit is implemented as a self-contained C++...

متن کامل

Multi-objective optimal control of chemical processes using ACADO toolkit

Many practical chemical engineering problems involve the determination of optimal trajectories given multiple and conflicting objectives. These conflicting objectives typically give rise to a set of Pareto optimal solutions. To enhance real-time decision making efficient approaches are required for determining the Pareto set in a fast and accurate way. Hereto, the current paper illustrates the ...

متن کامل

An auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range

In this paper we present an automatic C-code generation strategy for real-time nonlinear model predictive control (NMPC), which is designed for applications with kilohertz sample rates. The corresponding code export module has been implemented within the software package ACADO Toolkit. It is capable of exporting fixed step-size integrators together with their sensitivities as well as a real-tim...

متن کامل

Solving infinite horizon optimal control problems of nonlinear interconnected large-scale dynamic systems via a Haar wavelet collocation scheme

We consider an approximation scheme using Haar wavelets for solving a class of infinite horizon optimal control problems (OCP's) of nonlinear interconnected large-scale dynamic systems. A computational method based on Haar wavelets in the time-domain is proposed for solving the optimal control problem. Haar wavelets integral operational matrix and direct collocation method are utilized to find ...

متن کامل

Towards a Computer Algebra System with Automatic Differentiation for use with Object-Oriented modelling languages

The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation, it is possible to step-by-step reformulate an (infinite dimensional) dynamic optimization problem into a (finite dimensional) non-linear program (NLP) by parametrizing the state a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Program. Comput.

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2017